Un ragionatore automatico è un software in grado di svolgere dei ragionamenti su delle basi di conoscenza adeguatamente formalizzate. Il ragionamento, in questo caso, è inteso come la capacità di elaborare la base di conoscenza secondo alcune regole, in modo da validare ed analizzare la base di conoscenza stessa. Le possibilità del ragionatore dipendono strettamente dal linguaggio adoperato per formalizzare la base di conoscenza.